treeview: Move column header widgets when scrolling
authorTimm Bäder <mail@baedert.org>
Sun, 8 Jul 2018 08:02:58 +0000 (10:02 +0200)
committerTimm Bäder <mail@baedert.org>
Sun, 8 Jul 2018 08:04:27 +0000 (10:04 +0200)
commit6fdcafc94ab56550103ef150487077328bab9a0f
treef11bb0470fb75dbd9f0d95f0674c1779c341c32d
parent9bab218314201437f22b6cd1442cc8e5ed1c8f76
treeview: Move column header widgets when scrolling

Since those are widgets and widgets need to be size-allocate'd properly,
we need to queue an allocate, as well as actually add the hadjustment's
value to the column x position.

Fixes #1202
gtk/gtktreeview.c